K. Rustan M. Leino: mencari di tapak web Z-Library

Sumbangan 15 hb September 2024 – 1 hb Oktober 2024 Mengenai pengumpulan sumbangan

Akses percuma kepada pengetahuan dan budaya.

Sumbangan 15 hb September 2024 – 1 hb Oktober 2024

Z-Library - salah satu perpustakaan dalam talian terbesar di dunia yang menyimpan lebih daripada 17,000,000 buku dan 84,837,000 artikel. Kami bertujuan untuk buku boleh diakses oleh semua orang. Hari ini (15 hb September 2024) kami memulakan pengumpulan dana tambahan untuk menyokong dan mengembangkan projek.

Tambah lagi muat turun TANPA HAD (untuk 31 hari sejak menghantar sumbangan) boleh diakses oleh SEMUA pengguna yang menyumbangkan selama tempoh pengumpulan sumbangan hingga 1 hb Oktober 2024.

Mengenai pengumpulan sumbanganBaca lebih lanjut

Buku (14)
Yang paling popular
Senarai
- Senarai
- Jadual

1

Program Proofs

Program Proofs

K. Rustan, M. Leino

Tahun:

2023

Bahasa:

english

Fail:

EPUB, 7.92 MB

5.0 / 5.0

english, 2023

2

Program Proofs

Program Proofs

K. Rustan M. Leino

Tahun:

2023

Bahasa:

english

Fail:

PDF, 24.13 MB

0 / 5.0

english, 2023

3

Program Proofs

Program Proofs

K. Rustan M. Leino

Tahun:

2023

Bahasa:

english

Fail:

EPUB, 7.92 MB

5.0 / 5.0

english, 2023

4

Program Proofs

Program Proofs

K. Rustan M. Leino

Tahun:

2023

Bahasa:

english

Fail:

PDF, 13.84 MB

0 / 5.0

english, 2023

5

Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Springer-Verlag Berlin Heidelberg

Barbara Jobstmann, K. Rustan M. Leino (eds.)

Tahun:

2016

Bahasa:

english

Fail:

PDF, 16.77 MB

0 / 0

english, 2016

6

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

Springer-Verlag Berlin Heidelberg

Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)

Tahun:

2011

Bahasa:

english

Fail:

PDF, 6.13 MB

0 / 0

english, 2011

7

Tools and Algorithms for the Construction and Analysis of Systems. 17th International Conference, TACAS 2011 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011 Saarbrücken, Germany, March 26–April 3, 2011 Proceed

Tools and Algorithms for the Construction and Analysis of Systems. 17th International Conference, TACAS 2011 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011 Saarbrücken, Germany, March 26–April 3, 2011 Proceed

Springer Nature.

Parosh Aziz Abdulla (ed.), K. Rustan M. Leino (ed.)

Tahun:

2013

Bahasa:

english

Fail:

PDF, 5.05 MB

0 / 5.0

english, 2013

8

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

K. Rustan M. Leino (auth.), Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.)

Tahun:

2011

Bahasa:

english

Fail:

PDF, 7.89 MB

0 / 0

english, 2011

9

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

Springer-Verlag Berlin Heidelberg

Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)

Tahun:

2011

Bahasa:

english

Fail:

PDF, 5.68 MB

0 / 0

english, 2011

10

Computer Aided Verification. 33rd International Conference, CAV 2021 Virtual Event, July 20–23, 2021 Proceedings, Part II

Computer Aided Verification. 33rd International Conference, CAV 2021 Virtual Event, July 20–23, 2021 Proceedings, Part II

Alexandra Silva, K. Rustan M. Leino

Tahun:

2021

Bahasa:

english

Fail:

PDF, 28.97 MB

0 / 5.0

english, 2021

11

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

Springer-Verlag Berlin Heidelberg

Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)

Tahun:

2011

Bahasa:

english

Fail:

PDF, 5.05 MB

0 / 0

english, 2011

12

Computer Aided Verification. 33rd International Conference, CAV 2021 Virtual Event, July 20–23, 2021 Proceedings, Part I

Computer Aided Verification. 33rd International Conference, CAV 2021 Virtual Event, July 20–23, 2021 Proceedings, Part I

Alexandra Silva, K. Rustan M. Leino, (eds.)

Tahun:

2021

Bahasa:

english

Fail:

PDF, 32.05 MB

0 / 5.0

english, 2021

13

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

K. Rustan M. Leino (auth.), Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.)

Tahun:

2011

Bahasa:

english

Fail:

PDF, 6.81 MB

0 / 0

english, 2011

14

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

K. Rustan M. Leino (auth.), Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.)

Tahun:

2011

Bahasa:

english

Fail:

PDF, 7.11 MB

0 / 0

english, 2011